#include <stdio.h>

unsigned int add(unsigned int num);
unsigned int subadd(unsigned int num);

void main_task(
    void * arg
)
{
   unsigned int num=1;
   num = add(num);
   printk("1 incrementado es %u \n", num);
}

unsigned int add(unsigned int num)
{
  return subadd(num);
}

unsigned int subadd(unsigned int num)
{
  return num + 1;
}

void error (void) __attribute__((noreturn));
void error(void)
{
	printk("Bit flipping error \n");
	while (1);
}
